Auflistung nach Schlagwort "Upper Bound"

Sortiert nach: Sortierung: Ergebnisse:

  • Cryogenic linear Paul trap for cold highly charged ion experiments 
    Schwarz, M.; Versolato, O.O.; Windberger, A.; Brunner, F.R.; Ballance, T.; Eberle, S.N.; Ullrich, J.; Schmidt, Piet O.; Hansen, A.K.; Gingell, A.D.; Drewsen, M.; Crespo López-Urrutia, J.R. (College Park, MD : American Institute of Physics, 2012)
    Storage and cooling of highly charged ions require ultra-high vacuum levels obtainable by means of cryogenic methods. We have developed a linear Paul trap operating at 4 K capable of very long ion storage times of about ...
  • On quantified propositional logics and the exponential time hierarchy 
    Hannula, Miika; Kontinen, Juha; Lück, Martin; Virtema, Jonni (Waterloo, NSW : Open Publishing Association, 2016)
    We study quantified propositional logics from the complexity theoretic point of view. First we introduce alternating dependency quantified boolean formulae (ADQBF) which generalize both quantified and dependency quantified ...